bitkeeper revision 1.1011.1.4 (40db0dad1EoVdz5CsMKfYtUVcwzlpQ)

Fix bad debug assertion

diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h
index f40a16dd4884149b154d36cfc8c03e7a8c24a255..2a509eab32d0c8de1be72e1c4e6f6d08afcd35b3 100644 (file)
--- a/xen/include/xen/sched.h
+++ b/xen/include/xen/sched.h
@@ -293,7 +293,6 @@ static inline void domain_pause_by_systemcontroller(struct domain *d)
 
 static inline void domain_unpause_by_systemcontroller(struct domain *d)
 {
-    ASSERT(d != current);
     if ( test_and_clear_bit(DF_CTRLPAUSE, &d->flags) )
         domain_wake(d);
 }